$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. ($\uparrow$$e$ $<$loc ${\it e'}$) $\Leftarrow\!\Rightarrow$ ($e$ $<$loc ${\it e'}$)